Computer aided verification - proceedings : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2000
- Författare
- International Conference on Computer-Aided Verification 2002) København : Ed Brinksma Kim Guldstrand Larsen
- (Ed Brinksma, Kim Guldstrand Larsen (eds.).)
- Genre
- Konferenser, Konferenspublikation, Ej skönlitteratur
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 2002 | Tyskland, Berlin | xiii, 626 sidor. ill. |